Graph homomorphisms between trees

In this paper we study several problems concerning the number of homomorphisms of trees. We give an algorithm for the number of homomorphisms from a tree to any graph by the Transfer-matrix method. By using this algorithm and some transformations on trees, we study various extremal problems about the number of homomorphisms of trees. These applications include a far reaching generalization of Bollob\'as and Tyomkyn's result concerning the number of walks in trees. Some other highlights of the paper are the following. Denote by $\hom(H,G)$ the number of homomorphisms from a graph $H$ to a graph $G$. For any tree $T_m$ on $m$ vertices we give a general lower bound for $\hom(T_m,G)$ by certain entropies of Markov chains defined on the graph $G$. As a particular case, we show that for any graph $G$, $$\exp(H_{\lambda}(G))\lambda^{m-1}\leq\hom(T_m,G),$$ where $\lambda$ is the largest eigenvalue of the adjacency matrix of $G$ and $H_{\lambda}(G)$ is a certain constant depending only on $G$ which we call the spectral entropy of $G$. In the particular case when $G$ is the path $P_n$ on $n$ vertices, we prove that $$\hom(P_m,P_n)\leq \hom(T_m,P_n)\leq \hom(S_m,P_n),$$ where $T_m$ is any tree on $m$ vertices, and $P_m$ and $S_m$ denote the path and star on $m$ vertices, respectively. We also show that if $T_m$ is any fixed tree and $$\hom(T_m,P_n)>\hom(T_m,T_n),$$ for some tree $T_n$ on $n$ vertices, then $T_n$ must be the tree obtained from a path $P_{n-1}$ by attaching a pendant vertex to the second vertex of $P_{n-1}$. All the results together enable us to show that |\End(P_m)|\leq|\End(T_m)|\leq|\End(S_m)|, where \End(T_m) is the set of all endomorphisms of $T_m$ (homomorphisms from $T_m$ to itself).Comment: 47 pages, 15 figure

Positivity properties of Jacobi-Stirling numbers and generalized Ramanujan polynomials

Generalizing recent results of Egge and Mongelli, we show that each diagonal sequence of the Jacobi-Stirling numbers \js(n,k;z) and \JS(n,k;z) is a P\'olya frequency sequence if and only if $z\in [-1, 1]$ and study the $z$-total positivity properties of these numbers. Moreover, the polynomial sequences \biggl\{\sum_{k=0}^n\JS(n,k;z)y^k\biggr\}_{n\geq 0}\quad \text{and} \quad \biggl\{\sum_{k=0}^n\js(n,k;z)y^k\biggr\}_{n\geq 0} are proved to be strongly $\{z,y\}$-log-convex. In the same vein, we extend a recent result of Chen et al. about the Ramanujan polynomials to Chapoton's generalized Ramanujan polynomials. Finally, bridging the Ramanujan polynomials and a sequence arising from the Lambert $W$ function, we obtain a neat proof of the unimodality of the latter sequence, which was proved previously by Kalugin and Jeffrey.Comment: 17 pages, 2 tables, the proof of Lemma 3.3 is corrected, final version to appear in Advances in Applied Mathematic

Sidorenko's conjecture, colorings and independent sets

Let $\hom(H,G)$ denote the number of homomorphisms from a graph $H$ to a graph $G$. Sidorenko's conjecture asserts that for any bipartite graph $H$, and a graph $G$ we have $$\hom(H,G)\geq v(G)^{v(H)}\left(\frac{\hom(K_2,G)}{v(G)^2}\right)^{e(H)},$$ where $v(H),v(G)$ and $e(H),e(G)$ denote the number of vertices and edges of the graph $H$ and $G$, respectively. In this paper we prove Sidorenko's conjecture for certain special graphs $G$: for the complete graph $K_q$ on $q$ vertices, for a $K_2$ with a loop added at one of the end vertices, and for a path on $3$ vertices with a loop added at each vertex. These cases correspond to counting colorings, independent sets and Widom-Rowlinson colorings of a graph $H$. For instance, for a bipartite graph $H$ the number of $q$-colorings $\textrm{ch}(H,q)$ satisfies $$\textrm{ch}(H,q)\geq q^{v(H)}\left(\frac{q-1}{q}\right)^{e(H)}.$$ In fact, we will prove that in the last two cases (independent sets and Widom-Rowlinson colorings) the graph $H$ does not need to be bipartite. In all cases, we first prove a certain correlation inequality which implies Sidorenko's conjecture in a stronger form.Comment: Two references added and Remark 2.1 is expande

On two unimodal descent polynomials

The descent polynomials of separable permutations and derangements are both demonstrated to be unimodal. Moreover, we prove that the $\gamma$-coefficients of the first are positive with an interpretation parallel to the classical Eulerian polynomial, while the second is spiral, a property stronger than unimodality. Furthermore, we conjecture that they are both real-rooted.Comment: 16 pages, 4 figure